Типобезопасная робототехника: повышение надежности управления роботами с помощью надежных реализаций типов | MLOG | MLOG